Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, II: доказательства теорем» // Вестник Томского государственного университета. Философия. Социология. Политология 2019. №49 C.34-41
Ламберов Л. Д. «Понятие доказательства в контексте теоретико-типового подхода, I: доказательство программ» // Вестник Томского государственного университета. Философия. Социология. Политология 2018. №46 C.49-57
Хромченко А. С. «Различия в понимании природы математических суждений у И. Канта и Г. Фреге» // Вестник Томского государственного университета. Философия. Социология. Политология 2021. №61 C.126-134
Вы можете добавить статью